Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🚀Compiler Optimizations
Compressed data structures for Heegaard splittings
arxiv.org·2h
🕳️Persistent Homology
Ex-Dyson engineer to launch LTO tape holographic rival that uses cheap $5 laser diode, promises 200TB cartridges on 100m reels — but read/write speeds are unkno...
techradar.com·13h
⚛️Quantum Tape
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Checking data integrity
eclecticlight.co·29m
✅Checksum Validation
Cactus Language • Stylistics 4
inquiryintoinquiry.com·15h
🌳Context free grammars
Janet Feature Demos
github.com·21m·
Discuss: Lobsters
🧠Lisp Dialects
We’ve discovered a new kind of magnetism. What can we do with it?
newscientist.com·14h
🧲Magnetic Recording
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·10h
🔢Bitwise Algorithms
Researchers demonstrate error-resistant quantum gates using exotic anyons for computation
phys.org·1d
⚛️Quantum Tape
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Multiplicative Modular Nim (MuM)
arxiv.org·1d
🧮Algebraic Datatypes
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·9h·
Discuss: Hacker News
🎯Interactive Provers
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·1h
🔧RISC-V Assembler
Hierarchical Modeling (H-Nets)
cartesia.ai·11h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·15h
🖥️Terminal Renaissance
Cancellative Convex Semilattices
arxiv.org·2h
🔲Proof Irrelevance
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·2h
🌳Context free grammars